formal specification nghĩa là gì

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• đặc tả hình thức

• formal:    ['fɔ:məl]tính từhình thứca formal resemblancegiống nhau về hình thứctheo nghi lễ, theo thể thức, theo nghi thức, theo thủ tục; trang trọngđúng lễ thói, đúng luật lệ, ngay hàng thẳng lốia formal gard
• specification:    [,spesifi'keiʃn]danh từsự chỉ rõ, sự ghi rõ, sự định rõ(kỹ thuật) (số nhiều) đặc điểm kỹ thuật, chi tiết kỹ thuật(pháp lý) bản ghi chi tiết kỹ thuật một phát minh mới (máy...)specificationchi tiết,
• a formal call:    một cuộc thăm viếng chính thức, một cuộc thăm viếng theo nghi thức

Câu ví dụ

thêm câu ví dụ:   Tiếp＞

The need for formal specification systems has been noted for years.
Nhu cầu về các hệ thống đặc tả hình thức đã được nói đến từ nhiều năm.

The latter approach is possible only when a formal specification document exists.
Cách tiếp cận thứ hai chỉ có thể khi một tài liệu đặc tả chính thức tồn tại.

Up until 2014, PHP evolved without a written formal specification or standard.
Cho đến năm 2014, PHP đã phát triển mà không có bất kỳ đặc tả chính thức bằng văn bản.

He published his “Yellow Paper”, the formal specification of Ethereum Virtual Machine, in April 2014.
Ông đã xuất bản “Yellow Paper”, bản đặc tả chính thức của máy ảo Ethereum (ETH) vào tháng 4 năm 2014.

He published his “Yellow Paper”, the formal specification of Ethereum Virtual Machine, in April 2014.
Ông đã xuất bản “Yellow Paper”, bản đặc tả chính thức của Máy Ảo Ethereum (EVM), vào tháng 04 năm 2014.